digraph AV_6
{
	T1 -> T2 [label = "a"]
	T1 -> T1 [label = "c"]
	T1 -> T2 [label = "d"]
	T2 -> T3 [label = "a"]
	T2 -> T1 [label = "b"]
	T3 -> T4 [label = "a"]
	T4 -> T5 [label = "a"]
	T5 -> T6 [label = "a"]
	T7 -> T8 [label = "a"]
	T6 -> T7 [label = "a"]
	T8 -> T9 [label = "a"]
	T9 -> T10 [label = "a"]
	[initial = {T1}]
	[final = {T1}]
}